Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
91	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
92	Semantics for more plausible deontic logics Invited speech, DEON´02, Imperial College, London, May 22-24, 2002. Sven Ove Hansson Royal Institute of Technology Add to Reading List Source URL: people.kth.se Language: English - Date: 2015-09-04 07:12:37 Philosophical logic Modal logic Deontic logic FO Universal quantification Norm Formal ethics
93	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
94	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
95	Preliminaries Frame Level Model Level A Modal Logic for Abstract Delta Modeling Frank de Boer Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:35 Modal logic Non-classical logic Philosophical logic Conceptual model Metaphor Simulation Normal modal logic Delta
96	The Foundations of Bayesian Epistemology: A Philosophical Introduction Kenny Easwaran October 26, 2015 Chapter 5: Zero isn’t nothing Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Epistemology Probability and statistics Probability theory Belief Truth Probability 0.999... Modal logic Expected value DempsterShafer theory Projectivism
97	International Journal of Theoretical Physics, VoL 21, Nos. 3/4, 1982 Conservative Logic 1 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2014-02-18 12:32:31 Models of computation Logic gates Fredkin gate Reversible computing Modal logic Billiard-ball computer Logic FO Toffoli gate Many-valued logic
98	Preliminary Remarks on Truth Crispin Sartwell Truth is reality, and persons are parts of reality. We are traversed and transfixed by other bits, in processes such as perception and communication, as also in movement, ing Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2008-06-16 16:37:23 Philosophy of language Philosophical logic Meaning Theories of truth Ontology Truth-bearer Proposition Truth Semantics Proper name J. L. Austin Modal logic
99	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
100	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic

UPDATE